Home Up Previous Next Random
Show that Bool is a quantale
The joins all exist:
nontrivial ones: \(\varnothing \mapsto False, \{True,False\}\mapsto True\)